Nuprl Definition : es-init
11,40
postcript
pdf
es-init(
es
;
e
) == final-iterate(es-pred?(
es
);
e
)
latex
Definitions
final-iterate(
f
;
x
)
,
es-pred?(
es
)
FDL editor aliases
es-init
origin